Model-Based Testing of Safety Critical Real-Time Control Logic Software
نویسندگان
چکیده
The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.
منابع مشابه
An Approach to Modeling Software Safety in Safety-Critical Systems
Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Problem statement: Existing software quality models like McCall’s and Boehm’s and ISO 9126 were inadequate in addressing the software safety issues of real time safety-critical embedded systems....
متن کاملFrom Safety Analysis to Software Requirements
Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-ti...
متن کاملFuzzy Motion Control for Wheeled Mobile Robots in Real-Time
Due to various advantages of Wheeled Mobile Robots (WMRs), many researchers have focused to solve their challenges. The automatic motion control of such robots is an attractive problem and is one of the issues which should carefully be examined. In the current paper, the trajectory tracking problem of WMRs which are actuated by two independent electrical motors is deliberated. To this end, and ...
متن کاملDesign and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic
In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...
متن کاملA Novel Approach for Deriving Test Scenarios and Test Cases from Events
Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, an...
متن کامل